Vector team automata
نویسندگان
چکیده
منابع مشابه
Vector team automata
Vector team automata are team automata with an explicit representation of synchronizations. This makes a translation possible of a subclass of vector team automata into individual token net controllers, a model of labeled Petri nets developed within the framework of vector controlled concurrent systems. © 2011 Elsevier B.V. All rights reserved.
متن کاملTeam Automata Satisfying Compositionality
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation of the conditions under which team automata satisfy compositionality, we study their computations and behaviour in relation to those of their constituting component automata. We show that the construction of team aut...
متن کاملBibliography of Team Automata
This paper introduces a mathematical model of groupware systems called Team Automata. We use this model at the architectural level, to describe components of a groupware system, and their interconnections. The multiple automata constituting the team interact via shared actions transitions which multiple automata perform synchronously together. The paper concludes by illustrating the application...
متن کاملTeam Automata for Security Analysis
We show that team automata (TA) are well suited for security analysis by reformulating the Generalized NonDeducibility on Compositions (GNDC) schema in terms of TA. We then use this to show that integrity is guaranteed for a case study in which TA model an instance of the Efficient Multi-chained Stream Signature (EMSS) protocol.
متن کاملA Calculus for Team Automata
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patterns among systems, thus extending I/O automata. Furthermore, for some patterns the language recognized by a team automaton can be specified via those languages recognized by its components. We introduce a process calcul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2012
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.12.020